Repository navigation
Workspace: a switch of its own for ▶ (capability run) - #56
Merged
Merged
Conversation
▶ Run and Tests can now be on or off independently (P34 C): run: false hides ▶, except as ■ Stop while Python is busy (e.g. Tests). Default on, so nothing changes for existing hosts. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
For P34 C (the IDE's settings through the link): ▶ Run and «Tests» can now be on or off independently. The IDE part is glpython-edu.github.io#41.
run(default on). Withrun: false, ▶ is hidden. While Python is busy for more than a moment (e.g. a hanging Tests run), the button still appears as ■ Stop, so a stuck program can always be stopped.tests,visualization,repl(which hides only the REPL's input line; the console stays, and so doesinput()'s line when a program asks),export,coverage,listTreeandtree.command: run) work regardless of the button.Checks: lint (the known warning only), build and
test:protocolpass. The behaviour is covered by the IDE's browser checks in #41 (▶ without Tests, Tests without ▶).Going live: no host changes until it sets
run: false. The embed doesn't, and the IDE does only with link settings. A tag is needed for the IDE.🤖 Generated with Claude Code